CreateA = (newA -> startA -> finishA -> CreateA).
CreateB = (newB -> startB -> finishB -> CreateB).
CreateC = (newC -> startC -> finishC -> CreateC).

PerformA = (startA -> doA -> finishA -> PerformA |
            startC -> doC -> finishC -> PerformA).
PerformB = (startB -> doB -> finishB -> PerformB |
            startC -> doC -> finishC -> PerformB).

||SYSTEM = (CreateA || CreateB || CreateC || PerformA || PerformB).